Object Constraint Language - PDFSEARCH.IO - Document Search Engine

Object Constraint Language
Results: 132

#	Item
21	From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:36:54 Software engineering Theoretical computer science Unified Modeling Language Computing Formal methods Object Constraint Language ECO Postcondition Object diagram Object Process Methodology Class diagram Invariant
22	Filmstripping and Unrolling: A Comparison of Verication Approaches for UML and OCL Behavioral Models? Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille University of Bremen, Computer Science Department Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:38:50 Unified Modeling Language Object Constraint Language ECO Dining philosophers problem Conceptual model Object Process Methodology
23	Extracting Frame Conditions from Operation Contracts Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-17 08:36:26 Theoretical computer science Formal methods Software engineering Logic in computer science Postcondition Object Constraint Language Causality Statistics Statistical hypothesis testing Invariant
24	bookConceptualModelling.dvi Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-05-28 09:48:56 Unified Modeling Language Software engineering Computing Data modeling ISO standards Architecture description language Diagrams Knowledge representation ECO Class diagram Object Constraint Language Object diagram
25	Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:38:11 Unified Modeling Language ISO standards Object Constraint Language ECO Object Process Methodology Object diagram Class diagram Postcondition Design by contract Sequence diagram Conceptual model
26	On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-12-21 03:16:59 Software engineering Unified Modeling Language Computing Theoretical computer science Object Constraint Language ECO Executable UML Postcondition State diagram Event Class diagram Finite-state machine
27	From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification Frank Hilken1 , Philipp Niemann1 , Martin Gogolla1 , and Robert Wille1,2 1 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-05-12 07:14:06 Unified Modeling Language ISO standards Architecture description language Object Constraint Language Class diagram ECO Object Process Methodology Metamodeling Element Diagram Activity diagram Object diagram
28	Reusing OCL in a Programming Language Fabian B¨ uttnera,∗, Martin Gogollab a AtlanMod, ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:28:51 Software Computing Unified Modeling Language ISO standards Object Constraint Language ECO Query language Executable UML Denotational semantics Eclipse OCL GReAT
29	Evaluating and Debugging OCL Expressions in UML Models Jens Br¨ uning1 , Martin Gogolla2, Lars Hamann2 , and Mirco Kuhlmann2 1 2 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 13:44:18 ECO Unified Modeling Language Data management Where OCL Class diagram Ename Software Object Constraint Language
30	Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:19 Unified Modeling Language Systems engineering Software engineering Computing Systems science Object Constraint Language Metamodeling Model-driven architecture Platform-specific model Object Process Methodology MMT QVT

UPDATE